Recursion-Theoretic Ranking and Compression
نویسندگان
چکیده
For which sets A does there exist a mapping, computed by a total or partial recursive function, such that the mapping, when its domain is restricted to A, is a 1-to-1, onto mapping to Σ * ? And for which sets A does there exist such a mapping that respects the lexicographical ordering within A? Both cases are types of perfect, minimal hash functions. The complexity-theoretic versions of these notions are known as compression functions and ranking functions. The present paper defines and studies the recursion-theoretic versions of compression and ranking functions, and in particular studies the question of which sets have, or lack, such functions.
منابع مشابه
More on Compression and Ranking
We study the role that honesty, selectivity, closure properties, relativization, and target spaces other than Σ * have in the recursion-theoretic study of compression and ranking.
متن کاملFIFTH system for general-purpose connectionist computation
To date, work on formalizing connectionist computation in a way that is at least Turingcomplete has focused on recurrent architectures and developed equivalences to Turing machines or similar super-Turing models, which are of more theoretical than practical significance. We instead develop connectionist computation within the framework of information propagation networks extended with unbounded...
متن کاملRanking Primitive Recursions: The Low Grzegorczyk Classes Revisited
Traditional results in subrecursion theory are integrated with the recent work in “predicative recursion” by defining a simple ranking ρ of all primitive recursive functions. The hierarchy defined by this ranking coincides with the Grzegorczyk hierarchy at and above the linearspace level. Thus, the result is like an extension of the Schwichtenberg/Müller theorems. When primitive recursion is re...
متن کاملComplexity theoretic algebra I - vector spaces over finite fields
This is the first of a series of papers on complexity-theoretic algebra. We carne to the subject as follows. In 1975 Metakides and Nerode [15] initiated the systematic study of recursion-theoretic algebra. The motivation was to establish the recursive content of mathematical constructions. The novelty was the use of the finite injury priority method from recursion theory as a uniform tool to me...
متن کاملBC-ε: A Recursion-Theoretic Characterization of LOGSPACE
We present BC ε which is a function algebra that is sound and complete for LOGSPACE. It is based on the novel recursion-theoretic principle of generalized recursion where the step length of primitive recursion can be varied at each step. This allows elegant representations of functions like logarithm and division. Unlike characterizations found in the literature, it is noticeable that there doe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1610.01185 شماره
صفحات -
تاریخ انتشار 2016